\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {1}Introduction to APython}{2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}A Formal Definition of Typing}{3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces The APython AST}}{3}}
\newlabel{fig:APY_AST}{{2.1}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Mapping from Source Code to the AST}{3}}
\citation{wright92}
\citation{wright92}
\citation{wright92}
\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces The APython Type System}}{4}}
\newlabel{fig:APY_TYPING}{{2.2}{4}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.3}{\ignorespaces The Typing rules for APython}}{4}}
\newlabel{fig:APY_TYPING_DERIV}{{2.3}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}The Type System}{4}}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}The APost Virtual Machine}{5}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Primitives}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Built-in Commands}{5}}
\@writefile{toc}{\contentsline {chapter}{\numberline {A}The APython Compiler Source Code}{7}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {chapter}{\numberline {B}The APost Interpreter Source Code}{8}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\bibcite{pierce02}{Pierce}
\bibcite{wright92}{Wright \& Felleisen}
